An example concerning Bergman completeness
نویسندگان
چکیده
منابع مشابه
An assertion concerning functionally complete algebras and NP-completeness
In a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problemof deciding whether or not an equation over a nontrivial functionally complete algebra has a solution is NP-complete. However, close examination of the reduction used shows that only a weaker theorem follows from his proof, namely that deciding whether or not a system of equations has a solution is NP-complete over s...
متن کاملOn completeness of the Bergman metric and its subordinate metric.
It is proved that on any bounded domain in the complex Euclidean space C(n) the Bergman metric is always greater than or equal to the Carathéodory distance. This leads to a number of interesting consequences. Here two such consequences are given. (i) The Bergman metric is complete whenever the Carathéodory distance is complete on a bounded domain. (ii) The Weil-Petersson metric is not uniformly...
متن کاملA Strange Example concerning Property N P
We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfies Property Np for some p, the p-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M does not satisfy Property Np. Let M be a very ample line bundle on a smooth complex projective variety Y and let φM : Y → P(H (Y,M)) be the map associated to M . We recall the defi...
متن کاملA counter-example concerning quantifier elimination in quasianalytic structures
This paper provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function 1/x. Our construction applies rectilinearization of terms as well as some theorems on power substitution for Denjoy–Carleman classes and on non-extendability of...
متن کاملConcerning the Feasibility of Example-driven Modelling Techniques
We report on a series of experiments concerning the feasibility of example driven modelling. The main aim was to establish experimentally within an academic environment; the relationship between error and task complexity using a) Traditional spreadsheet modelling, b) example driven techniques. We report on the experimental design, sampling, research methods and the tasks set for both control an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 2001
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000008059